Cryptographic protocols

Results: 3642



#Item
151Public-key cryptography / Cryptographic protocols / Secure communication / Cryptographic software / Double Ratchet Algorithm / DiffieHellman key exchange / WhatsApp / Digital signature / XTR / Elliptic curve DiffieHellman / Signal

How Secure is TextSecure? Tilman Frosch∗† , Christian Mainka† , Christoph Bader† , Florian Bergsma† , J¨org Schwenk† , Thorsten Holz† ∗G DATA Advanced Analytics GmbH {firstname.lastname}@gdata.de

Add to Reading List

Source URL: www.nds.rub.de

Language: English - Date: 2016-05-24 15:16:00
152Computer network security / Computing / Cryptographic protocols / Wi-Fi / IEEE 802.11 / Wireless networking / Wi-Fi Protected Access / IEEE 802.1X / IEEE 802.11i-2004 / AirPort / Wireless security

Connecting to the Rovernet WPA2 Secured Wireless Network with the Mac OS XLeopard) Configuring your wireless device to use WPA2 takes a few minutes. You will, however, need to meet the following system requirement

Add to Reading List

Source URL: www.it.mtu.edu

Language: English - Date: 2015-09-21 08:47:24
153Formal methods / Logic in computer science / Metalogic / Automated theorem proving / Logic programming / Substitution / Postcondition / First-order logic / Parameter / Precondition / Well-formed formula / Model theory

Call by Contract for Cryptographic Protocols

Add to Reading List

Source URL: evenmere.org

Language: English - Date: 2008-06-23 13:57:19
154Cryptography / Public key infrastructure / Public-key cryptography / Key management / Cryptographic protocols / Transport Layer Security / Public key certificate / X.509 / DocuSign / Online Certificate Status Protocol / SCVP / Authentication

    CP  (Certificate  Policy)  /  Certification   Practice  Statement  (CPS)      

Add to Reading List

Source URL: trust.docusign.com

Language: English - Date: 2016-06-01 20:59:26
155Cryptographic protocol / DolevYao model / Communications protocol / Decidability / Philosophy / Abstraction / Computing

On Well-founded Security Protocols (Extended Abstract) Sibylle Fr¨oschle OFFIS & University of Oldenburg, Germany Email: Consider the decidability problem that stands behind

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2014-07-17 09:25:52
156Cryptography / Computing / Cryptographic protocols / Juniper Networks / Pseudorandom number generators / Cryptographic nonce / Internet protocols / NetScreen Technologies / Challengeresponse authentication / ScreenOS / Internet Key Exchange / DiffieHellman key exchange

A Systematic Analysis of the Juniper Dual EC Incident Stephen Checkoway*, Shaanan Cohney†, Christina Garman‡, Matthew Green‡, Nadia Heninger†, Jacob Maskiewicz§, Eric Rescorla§, Hovav Shacham§, Ralf-Philipp We

Add to Reading List

Source URL: dualec.org

Language: English - Date: 2016-04-15 12:48:33
157Cryptography / Computer network security / Wireless networking / Local area networks / Cryptographic protocols / IEEE 802.11 / Wi-Fi Protected Access / Wireless security / GlobalSign / Root certificate / Cracking of wireless networks

Connecting to the Rovernet WPA2 Secured Wireless Network with UbuntuHardy Heron) Configuring your wireless device to use WPA2 takes a few minutes. You will, however, need to meet the following system requirements

Add to Reading List

Source URL: www.it.mtu.edu

Language: English - Date: 2015-09-21 08:47:24
158Cryptography / Secure communication / Cryptographic hash functions / Cryptographic protocols / Hashing / Transport Layer Security / Collision attack / Cipher suite / MD5 / OpenSSL / SHA-2 / Man-in-the-middle attack

Transcript Collision Attacks: Breaking Authentication in TLS, IKE, and SSH Karthikeyan Bhargavan Ga¨etan Leurent

Add to Reading List

Source URL: mitls.org

Language: English - Date: 2016-01-06 07:34:05
159Cryptography / Public key infrastructure / Public-key cryptography / Key management / Cryptographic protocols / Transport Layer Security / Public key certificate / X.509 / DocuSign / Online Certificate Status Protocol / SCVP / Authentication

    DocuSign  Confidential    

Add to Reading List

Source URL: certificates.docusign.com

Language: English - Date: 2014-02-20 15:11:45
160

WartaCryptON MODELING IND-CCA SECURITY IN CRYPTOGRAPHIC PROTOCOLS D. Hofheinz† , J. M¨ uller-Quade† , and R. Steinwandt†

Add to Reading List

Source URL: www.kjdf.de

Language: English - Date: 2014-06-10 05:37:44
    UPDATE